Publications of Philippe BALBIANI
Philippe Balbiani, Cigdem Gencer
Undecidability of admissibility in the product of two Alt logics
Logic Journal of the IGPL, 2023, ⟨10.1093/jigpal/jzad021⟩
Quentin Gougeon, Philippe Balbiani
Projective relative unification through duality
Journal of Logic and Computation, 2023, pp.1–21. ⟨10.1093/logcom/exad058⟩
Philippe Balbiani, Quentin Gougeon
Projective relative unification through duality
Journal of Logic and Computation, 2023, ⟨10.1093/logcom/exad058⟩
Philippe Balbiani, Cigdem Gencer
Computability of admissibility in the product of two Alt logics
Logic Journal of the IGPL, In press
Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González
Asynchronous Announcements
ACM Transactions on Computational Logic, 2022, 23 (2, article 10), pp.1-38. ⟨10.1145/3481806⟩
Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani, Mojtaba Mojtahedi
Unification types in Euclidean modal logics
Logic Journal of the IGPL, 2022, pp.jzab036. ⟨10.1093/jigpal/jzab036⟩
Philippe Balbiani, Cigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
Remarks about the unification types of some locally tabular normal modal logics
Logic Journal of the IGPL, 2022, ⟨10.1093/jigpal/jzab033⟩
Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque
Bisimulations for intuitionistic temporal logics (2021)
Journal of Applied Logics – IfCoLoG Journal of Logics and their Applications, 2021, 8 (8), pp.2265-2285
Philippe Balbiani, Cigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
About the unification type of K + Box Box false
Annals of Mathematics and Artificial Intelligence, 2021, 90, pp.481-497
Philippe Balbiani, Cigdem Gencer, Maryam Rostamigiv
About the unification type of fusions of modal logics
Journal of Applied Logics – IfCoLoG Journal of Logics and their Applications, In press
Philippe Balbiani, Mojtaba Mojtahedi
Unification with parameters in the implication fragment of Classical Propositional Logic
Logic Journal of the IGPL, 2021, ⟨10.1093/jigpal/jzab014⟩
Philippe Balbiani, David Fernández Duque, Andreas Herzig, Petar Iliev
Frame-validity games and lower bounds on the complexity of modal axioms
Logic Journal of the IGPL, 2020, 30 (1), ⟨10.1093/jigpal/jzaa068⟩
Philippe Balbiani, Tatyana Ivanova
Relational Representation Theorems for Extended Contact Algebras
Studia Logica, 2020, 109, pp.701-723. ⟨10.1007/s11225-020-09923-0⟩
Philippe Balbiani, Joseph Boudou, Martin Dieguez, David Fernández-Duque
Bisimulations for intuitionistic temporal logics (2020)
Electronic Notes in Theoretical Computer Science, 2020
Philippe Balbiani, Joseph Boudou, Martin Dieguez, David Fernández Duque
Intuitionistic linear temporal logics
ACM Transactions on Computational Logic, 2019, 21 (2), pp.0. ⟨10.1145/3365833⟩
Philippe Balbiani, Cigdem Gencer
About the unification type of modal logics between KB and KTB
Studia Logica, 2019, 108, pp.941–966. ⟨10.1007/s11225-019-09883-0⟩
Philippe Balbiani, Joseph Boudou
Axiomatization and computability of a variant of iteration-free PDL with fork
Journal of Logic and Algebraic Methods in Programming, 2019, Special issue: SI: DaLí-Dynamic Logics, new trends and applications – Selected contributions, 108, pp.47-68. ⟨10.1016/j.jlamp.2019.06.004⟩
Philippe Balbiani, Martin Dieguez, Luis Fariñas del Cerro
Setting the Basis for Here and There Modal Logics
Journal of Applied Logics – IfCoLoG Journal of Logics and their Applications, 2019, 6 (7), pp.1475-1500
Philippe Balbiani, David Fernández-Duque, Emiliano Lorini
The Dynamics of Epistemic Attitudes in Resource-Bounded Agents
Studia Logica, 2019, Special Issue: 40 years of FDE, 107, pp.457-488. ⟨10.1007/s11225-018-9798-4⟩
Philippe Balbiani, Cigdem Gencer, Zafer Özdemir
Two decision problems in Contact Logics
Logic Journal of the IGPL, 2019, 27 (1), pp.8-32. ⟨10.1093/jigpal/jzy016⟩
Remarks about the unification type of several non-symmetric non-transitive modal logics
Logic Journal of the IGPL, 2018, 27 (5), pp.639-658. ⟨10.1093/jigpal/jzy078⟩
Philippe Balbiani, Tinko Tinchev
Elementary unification in modal logic KD45
IfColog Journal of Logics and their Applications (FLAP), 2018, 5 (1), pp.301-317
Philippe Balbiani, Dimiter Georgiev, Tinko Tinchev
Modal correspondence theory in the class of all Euclidean frames
Journal of Logic and Computation, 2017, 28 (1), pp.119-131. ⟨10.1093/logcom/exx033⟩
Philippe Balbiani, Cigdem Gencer
Unification in epistemic logics
Journal of Applied Non-Classical Logics, 2017, 27 (1-2), pp.91-105. ⟨10.1080/11663081.2017.1368845⟩
Philippe Balbiani, Tinko Tinchev
Undecidable problems for modal definability
Journal of Logic and Computation, 2017, 27 (3), pp.901-920. ⟨10.1093/logcom/exv094⟩
Philippe Balbiani, Cigdem Gencer
KD is nullary
Journal of Applied Non-Classical Logics, 2017, 27 (3-4), pp.196-205. ⟨10.1080/11663081.2018.1428000⟩
Reasoning about negligibility and proximity in the set of all hyperreals
Journal of Applied Logic, 2016, 16, pp.14-36. ⟨10.1016/j.jal.2016.04.002⟩
Philippe Balbiani, Joseph Boudou
Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization
Journal of Logic and Computation, 2015, 28 – 2018 (4), pp.705-731. ⟨10.1093/logcom/exv035⟩
Putting right the wording and the proof of the Truth Lemma for APAL
Journal of Applied Non-Classical Logics, 2015, 25 – 2015 (1), pp.2-19. ⟨10.1080/11663081.2015.1011489⟩
Philippe Balbiani, Hans van Ditmarsch
A simple proof of the completeness of APAL
Studies in Logic, 2015, 8, pp.65-78
Philippe Balbiani, Tinko Tinchev
Definability and canonicity for Boolean logic with a binary relation
Fundamenta Informaticae, 2014, vol. 129 (n° 4), pp. 301-327. ⟨10.3233/FI-2014-973⟩
Philippe Balbiani, Olivier Gasquet, François Schwarzentruber
Agents that look at one another
In : Logic Journal of the IGPL, Oxford University Press, Special issue :Combined Special Issue: Best papers of FAMAS 2007 and FAMAS 2009, Vol. 21 N. 3, pp. 438-467, June 2013.
Natasha Alechina, Philippe Balbiani, Dmitry Shkatov
Modal logics for reasoning about infinite unions and intersections of binary relations
In : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Vol. 22, pp. 275-294, 2012.
Deciding the word problem in pure double Boolean algebras
In : Journal of Applied Logic, Elsevier, Vol. 10, pp. 260-273, 2012.
Philippe Balbiani, Pablo Seban
Reasoning about permitted announcements
In : Journal of Philosophical Logic, Springer-Verlag, Heidelberg, Allemagne, Vol. 40 N. 4, pp. 445-472, 2011.
Axiomatization and completeness of lexicographic products of modal logics
In : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Vol. 21 N. 2, pp. 141-176, 2011.
Philippe Balbiani, Valentin Goranko, Guido Sciavicco
Two sorted point-interval temporal logics
In : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Vol. 278 N. 3, pp. 31-45, 2011.
Philippe Balbiani, Fahima Cheikh Alili, Pierre-Cyrille Héam, Olga Kouchnarenko
Composition of Services with Constraints
In : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Vol. 263, pp. 31-46, January 2010.
Philippe Balbiani, Tinko Tinchev
Boolean logics with relations
In : Journal of Logic and Algebraic Programming, Elsevier, Vol. 79 N. 8, pp. 707-721, 2010.
Thomas Agotnes, Philippe Balbiani, Hans Van Ditmarsch, Pablo Seban
Group Announcement Logic
In : Journal of Applied Logic, Elsevier, Vol. 8 N. 1, pp. 62-81, 2010.
Philippe Balbiani, Hans Van Ditmarsch, Andreas Herzig, Tiago de Lima
Tableaux for public announcement logics
In : Journal of Logic and Computation, Oxford University Press, Special issue Special Issue on Tableaux and Analytic Proof Methods, Vol. 20 N. 1, pp. 55-76, 2010.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Jlc09.html
BibTeXPhilippe Balbiani, Jan Broersen, Julien Brunel
Decision procedures for a deontic logic modeling temporal inheritance of obligations
In : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Vol. 231, pp. 69-89, 2009.
Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig
Global and local graph modifiers
In : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Vol. 231, pp. 293-307, March 2009.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Entcs09.html
BibTeXPhilippe Balbiani, Alexandru Baltag, Hans Van Ditmarsch, Andreas Herzig, Tomohiro Hoshi
Arbitrary announcement logic
In : Bulletin of Symbolic Logic, Association for Symbolic Logic (ASL), Vol. 14, pp. 438-439, 2008.
Philippe Balbiani, Petar Iliev, Dimiter Vakarelov
A modal logic for Pawlak’s approximation spaces with rough cardinality n
In : Fundamenta Informaticae, IOS Press, Vol. 83, pp. 451-464, 2008.
Hyper arrow logic with indiscernibility and complementarity
In : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Vol. 18, pp. 137-152, 2008.
Philippe Balbiani, Alexandru Baltag, Hans Van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima
`Knowable’ as `known after an announcement’
In : Review of Symbolic Logic, Cambridge University Press, Vol. 1 N. 3, pp. 305-334, 2008.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Tark07ArbAnn.html
BibTeXPhilippe Balbiani, Tinko Tinchev
Foreword
In : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Special issue Special Issue, Vol. 18, pp. 136-136, 2008.
Philippe Balbiani, Andreas Herzig, Nicolas Troquard
Alternative axiomatics and complexity of deliberative STIT theories
In : Journal of Philosophical Logic, Springer-Verlag, Heidelberg, Allemagne, Vol. 37 N. 4, pp. 387-406, August 2008.
URL : http://www.irit.fr/~Andreas.Herzig/P/Jpl08.html
BibTeXLogical approaches to deontic reasoning: from basic questions to dynamic solutions
In : International Journal of Intelligent Systems, Wiley, Vol. 23, pp. 1021-1045, 2008.
Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov
Modal logics for region-based theories of space
In : Fundamenta Informaticae, IOS Press, Vol. 81, pp. 29-82, 2007.
Philippe Balbiani, Dimiter Vakarelov
Arrow logic with arbitrary intersections: applications to Pawlak’s information systems
In : Fundamenta Informaticae, IOS Press, Vol. 75, pp. 1-25, 2007.
Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov
Dynamic logics of the region-based theory of discrete spaces
In : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Vol. 17, pp. 39-61, 2007.
Philippe Balbiani, Tinko Tinchev
Line-based affine reasoning in Euclidean plane
In : Journal of Applied Logic, Elsevier, Vol. 5, pp. 421-434, 2007.
Philippe Balbiani, Tinko Tinchev
Definability over the class of all partitions
In : Journal of Logic and Computation, Oxford University Press, Vol. 16, pp. 541-557, 2006.
Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat
On the consistency problem for the INDU calculus
In : Journal of Applied Logic, Elsevier, Vol. 4, pp. 119-140, 2006.
Philippe Balbiani, Mamoun Filali
Sûreté et sécurité des systèmes d’informations et de communications: une obligation majeure
In : Magazine UPS, Université Paul Sabatier – Toulouse, Toulouse, Vol. 4, pp. 21-21, 2005.
Foreword
In : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Vol. 15, pp. 113-114, 2005.
Reasoning about vague concepts in the theory of property systems
In : Logique & Analyse, Centre National de Recherches de Logique, Belgique, Vol. 47, pp. 445-460, 2004.
Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat
Le problème de la cohérence des réseaux de contraintes du formalisme INDU
In : Journal électronique d’intelligence artificielle, Vol. 2, pp. 1-14, 2004.
Philippe Balbiani, Dimiter Vakarelov
Dynamic extensions of arrow logic
In : Annals of Pure and Applied Logics, Elsevier, Vol. 127, pp. 1-15, 2004.
Anas Abou El Kalam, Rania El Baida, Philippe Balbiani, Salem Benferhat, Al. Et
ORBAC : un modèle de contrôle d’accès basé sur les organisations
In : Cahiers francophones de la recherche en sécurité de l’information, Vol. 2, pp. 30-40, 2003.
Eliminating unorthodox derivation rules in an axiom system for iteration-free PDL with intersection
In : Fundamenta Informaticae, IOS Press, Vol. 56, pp. 211-242, 2003.
Philippe Balbiani, Dimiter Vakarelov
PDL with intersection of programs: a complete axiomatization
In : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Vol. 13, pp. 231-276, 2003.
Philippe Balbiani, Salem Benferhat
Dossier Temps, espace et évolutif
In : Bulletin de l’Afia, Vol. 51, pp. 30-40, 2002.
Philippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro
Tractability results in the block algebra
In : Journal of Logic and Computation, Vol. 12, pp. 885-909, 2002.
Philippe Balbiani, Jean-Francois Condotta
Spatial reasoning about points in a multidimensional setting
In : Applied Intelligence, Vol. 7, pp. 221-238, 2002.
Philippe Balbiani, Valentin Goranko
Modal logics for parallelism, orthogonality, and affine geometries
In : Journal of Applied Non-Classical Logics, Vol. 12, pp. 365-397, 2002.
Foreword
In : Journal of Applied Non-Classical Logics, Vol. 12, pp. 317-318, 2002.
Philippe Balbiani, Dimiter Vakarelov
A modal logic for indiscernibility and complementarity in information systems
In : Fundamenta Informaticæ, Vol. 50, pp. 1-21, 2002.
A new proof of completeness for a relative modal logic with composition and intersection
In : Journal of Applied Non-Classical Logics, Vol. 11, pp. 269-280, 2001.
Philippe Balbiani, Dimiter Vakarelov
Iteration-free PDL with intersection: a complete axiomatization
In : Fundamenta Informaticae, Vol. 45, pp. 1-22, 2001.
Inequality without irreflexivity
In : Journal of Applied Non-Classical Logics, Vol. 9, pp. 523-534, 1999.
Philippe Balbiani, Ewa Orlowska
A hierarchy of modal logics with relative accessibility relations
In : Journal of Applied Non-Classical Logics, Vol. 9, pp. 303-328, 1999.
Philippe Balbiani, Luis Fariñas del Cerro
Complete axiomatization of a relative modal logic with composition and intersection
In : Journal of Applied Non-Classical Logics, Vol. 8, pp. 325-335, December 1998.
The modal multilogic of geometry
In : Journal of Applied Non-Classical Logics, Vol. 8, pp. 259-281, 1998.
Mecanisation de la geometrie : incidence et orthogonalite
In : Revue d’intelligence artificielle, Vol. 11, pp. 179-211, 1997.
Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov
Modal logics for incidence geometries
In : Journal of Logic and Computation, Oxford University Press, Vol. 7, pp. 59-78, 1997.
Philippe Balbiani, Luis Fariñas del Cerro
A relational model of movement
In : Logique et Analyse, Vol. 155-156, pp. 369-378, 1996.
Philippe Balbiani, Andreas Herzig
A translation from the modal logic of provability into K4
In : Journal of Applied Non-Classical Logics, Vol. 4, pp. 73-77, 1994.
A modal semantics of negation in logic programming
In : Fundamenta Informaticæ, Vol. 16, pp. 231-262, 1992.
Corrigendum
In : Journal of Logic and Computation, Vol. 1, pp. 569-570, 1991.
Modal logic and negation as failure
In : Journal of Logic and Computation, Vol. 1, pp. 331-356, 1991.
Philippe Balbiani, Han Gao, Cigdem Gencer, Nicola Olivetti
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), Feb 2024, Naples, Italy. pp.1–21, ⟨10.4230/LIPIcs.CSL.2024.13⟩
Philippe Balbiani, Quentin Gougeon
Projective unification through duality
Advances in Modal Logic (AiML 2022), Aug 2022, Rennes, France
Philippe Balbiani, Martín Diéguez, Cigdem Gencer
Advanced languages of terms for ontologies
35th International Workshop on Description Logics (DL 2022) @ FLOC 2022: Fedrerated Logic Conference, Aug 2022, Haifa, Israel
Philippe Balbiani, Saúl Fernández González
Parametrized modal logic I: an introduction
Advances in Modal Logic (AiML 2022), IRISA (Institut de Recherche en Informatique et Systèmes Aléatoires), Jul 2022, Rennes, France
Parametrized Modal Logic II: The Unidimensional Case
4th International Workshop on Dynamic Logic. New Trends and Applications (DaLí 2022), 2022, Haïfa, Israel. pp.17 – 36, ⟨10.1007/978-3-031-26622-5_2⟩
Remarks about roles and entitlements
Journées d’Intelligence Artificielle Fondamentale (JIAF 2021), Zied Bouraoui; Sylvie Doutre, Jul 2021, Bordeaux (virtual), France
Philippe Balbiani, Martín Diéguez, David Fernández-Duque
Some constructive variants of S4 with the finite model property
36th Annual Symposium on Logic in Computer Science (LICS 2021), Jun 2021, Rome (on line), Italy. ⟨10.1109/LICS52264.2021.9470643⟩
Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González
From Public Announcements to Asynchronous Announcements
24th European Conference on Artificial Intelligence (ECAI 2020), European Association for Artificial Intelligence (EurAI); Spanish AI Society (AEPIA); Intelligent Systems Group (GSI) and the Research Center on Intelligent Technologies of the University of Santiago de Compostela (CiTIUS), Aug 2020, Santiago de Compostela, Spain. pp.75 – 82, ⟨10.3233/FAIA200078⟩
Philippe Balbiani, Saúl Fernández González
Indexed Frames and Hybrid Logics
International Conference on Advances in Modal Logic (AiML 2020), University of Helsinki, Finland, Aug 2020, Helsinki, Finland. pp.56-72
Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González
Quantifying over Asynchronous Information Change
International Conference on Advances in Modal Logic (AiML 2020), University of Helsinki, Finland, Aug 2020, Helsinki, Finland. pp.33-52
Philippe Balbiani, Cigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
About the unification type of K + [][]⊥
34th International Workshop on Unification (UNIF 2020), Jun 2020, Paris, France. pp.481-497, ⟨10.1007/s10472-021-09768-w⟩
Philippe Balbiani, Tinko Tinchev
Decidable and undecidable problems for first-order definability and modal definability
Thirteenth International Tbilisi Symposium on Language, Logic and Computation (TbiLLC 2019), Tbilisi State University; Georgian Academy of Sciences; Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam; Collaborative Research Center 991 of the University of Düsseldorf, Sep 2019, Batoumi, Georgia. pp.214-236, ⟨10.1007/978-3-030-98479-3_11⟩
Philippe Balbiani, Cigdem Gencer, Zafer Özdemir
Modal logics with a restricted universal modality
13th International Tbilisi Symposium on Language, Logic and Computation (TbiLLC 2019), Centre for Language, Logic and Speech at the Tbilisi State University; Georgian Academy of Sciences; Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam; Collaborative Research Center 991 of the University of Düsseldorf, Sep 2019, Batoumi, Georgia
Philippe Balbiani, Levan Uridia
Iterated structures are not modally definable
13th International Tbilisi Symposium on Language, Logic and Computation (TbiLLC 2019), Centre for Language, Logic and Speech at the Tbilisi State University; Georgian Academy of Sciences; Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam; Collaborative Research Center 991 of the University of Düsseldorf, Sep 2019, Batoumi, Georgia
Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Emiliano Lorini
Stratified evidence logics
28th International Joint Conference on Artificial Intelligence (IJCAI 2019), Aug 2019, Macao, China. pp.1523-1529, ⟨10.24963/ijcai.2019/211⟩
Philippe Balbiani, Tinko Tinchev
Computability of contact logics with measure
Logic Colloquium 2019, Aug 2019, Prague, Czech Republic
Philippe Balbiani, Cigdem Gencer, Mojtaba Mojtahedi, Maryam Rostamigiv, Tinko Tinchev
A gentle introduction to unification in modal logics
13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France
Unification in modal logic
8th Indian Conference on Logic and Its Applications (ICLA 2019), Mar 2019, Delhi, India. pp.1-5, ⟨10.1007/978-3-662-58771-3_1⟩
Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev
Frame-validity games and absolute minimality of modal axioms
12th International Conference on Advances in Modal Logic (AiML 2018), Aug 2018, Berne, Switzerland. pp.83-102
Philippe Balbiani, Martin Dieguez
Here and There modal logic with dual implication
12th Advances in Modal Logic conference (AiML 2018), Aug 2018, Bern, Switzerland. pp.63-82
Philippe Balbiani, Martín Diéguez
Here and There modal logic with dual implication
12th International Conference Advances in Modal Logic (AiML 2018), Aug 2018, Berne, Switzerland. pp.1-20
Spatio-epistemic logics: when knowledge meets geometry (ESSLLI 2018, Sofia, Bulgaria)
30th European Summer School on Logic, Language and Information (ESSLLI 2018), Association for Logic, Language and Information (FoLLI); Association for Computational Linguistics, Bulgaria, Aug 2018, Sofia, Bulgaria
About contingency and ignorance (Workshop Doxastic Agency & Epistemic Logic 2017)
Workshop Doxastic Agency & Epistemic Logic 2017, Dec 2017, Bochum, Germany
Undecidable problems for modal definability (Workshop 2017)
Workshop on Topological Approaches in Epistemic Logic 2017, Oct 2017, Amsterdam, Netherlands
Philippe Balbiani, Cigdem Gencer
Finitariness of elementary unification in Boolean Region Connection Calculus
11th International Symposium on Frontiers of Combining Systems (FroCoS 2017), Sep 2017, Brasilia, Brazil. pp.281-297, ⟨10.1007/978-3-319-66167-4_16⟩
Philippe Balbiani, Joseph Boudou
Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork
1st International Workshop Dynamic Logic. New Trends and Applications (DALI 2017), Sep 2017, Brasilia, Brazil. pp.17-34, ⟨10.1007/978-3-319-73579-5_2⟩
Philippe Balbiani, Joseph Boudou, Martin Dieguez, David Fernández-Duque
Bisimulations for intuitionistic temporal logics
7th Workshop on Intuitionistic Modal Logic and Applications (IMLA 2017), Jul 2017, Toulouse, France. ⟨10.48550/arXiv.1803.05078⟩
Philippe Balbiani, Jean-François Condotta
Un modèle pour raisonner sur les relations entre régions indéterminées
11èmes Journées d’Intelligence Artificielle Fondamentale (IAF @ PFIA 2017), Jul 2017, Caen, France
Philippe Balbiani, David Fernández-Duque, Emiliano Lorini
Exploring the Bidimensional Space: a Dynamic Logic Point of View
16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017), International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), May 2017, Sao Paulo, Brazil. pp.132-140
Philippe Balbiani, Cigdem Gencer
Contact Logic is finitary for unification with constants
International Workshop on Logic and Cognition (WOLC 2016), Dec 2016, Canton, China
About the temporal logic of the lexicographic products of unbounded dense linear orders: a new study of its computability
International Workshop on Logic and Cognition (WOLC 2016), Dec 2016, Canton, China
Philippe Balbiani, Martin Dieguez
Temporal Here and There
15th European Conference on Logics in Artificial Intelligence (JELIA 2016), Nov 2016, Larnaca, Cyprus. pp.81-96, ⟨10.1007/978-3-319-48758-8_6⟩
Philippe Balbiani, David Pearce, Levan Uridia
On logics of group belief in structured coalitions
15th European Conference On Logics In Artificial Intelligence (JELIA 2016), Nov 2016, Larnaca, Cyprus. pp.97-111, ⟨10.1007/978-3-319-48758-8_7⟩
Some remarks about intuitionistic modal logics (Conference on Mathematical Logic , Bulgaria, 2016)
Conference on Mathematical Logic dedicated to the 80th anniversary of Dimiter Skordev (2016), Oct 2016, Gyolechitsa, Bulgaria
An Introduction to Subset Space Logics
Mini-Workshop on Modal Logic and its Applications @ 1st series of meetings on Logic and its Applications (2016), Sep 2016, Istanbul, Turkey
Formal concept analysis: from formal contexts to modal logics and return
Mini-Workshop on Modal Logic and its Applications @ 1st series of meetings on Logic and its Applications (2016), Sep 2016, Istanbul, Turkey
Solving logical equations (Workshop on Modal Logic and its Applications in Computer Science 2016)
Workshop on Modal Logic and its Applications in Computer Science 2016, College of Sciences of the University of Tehran, Sep 2016, Tehran, Iran
Philippe Balbiani, Tinko Tinchev
Unification in modal logic Alt1
11th conference on Advances in Modal logic (AiML 2016), Aug 2016, Budapest, Hungary. pp.117-134
Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig
Before announcement
11th conference on Advances in Modal logic (AiML 2016), Aug 2016, Budapest, Hungary. pp.58-77
Philippe Balbiani, Didier Galmiche
About intuitionistic public announcement logic
11th conference on Advances in Modal logic (AiML 2016), Aug 2016, Budapest, Hungary. pp.97-116
Philippe Balbiani, David Fernández-Duque
Axiomatizing the lexicographic products of modal logics with linear temporal logic
11th conference on Advances in Modal logic (AiML 2016), Aug 2016, Budapest, Hungary. pp.78-96
Solving equations in pure double Boolean algebras
30th International Workshop on Unification (UNIF 2016), Jun 2016, Porto, Portugal. pp.13-18
Philippe Balbiani, David Fernández-Duque, Emiliano Lorini
A Logical Theory of Belief Dynamics for Resource-Bounded Agents
15th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016), IFAAMAS: International Foundation for Autonomous Agents and Multiagent Systems; SIGAI: ACM’s Special Interest Group on Artificial Intelligence, May 2016, Singapore, Singapore. pp.644-652
Philippe Balbiani, Joseph Boudou
Tableaux methods for propositional dynamic logics with separating parallel composition
International Conference on Automated Deduction (CADE 2015), Aug 2015, Berlin, Germany. pp.539-554
Philippe Balbiani, Tinko Tinchev
Definability and computability for PRSPDL
10th conference on Advances in Modal logic (AiML 2014), Aug 2014, Groningen, Netherlands. pp.16-33
Philippe Balbiani, Vincent Demange, Didier Galmiche
A sequent calculus with labels for Public Announcement Logic
Conference on Advances in Modal Logic (AiML 2014), 2014, Groningen, Netherlands
Philippe Balbiani, Hans Van Ditmarsch, Andrey Kudinov
Subset space logic with arbitrary announcements (regular paper)
In : Indian Conference on Logics and its Applications (ICLA 2013), Chennai (Inde), 01/01/13-31/12/13, Springer, pp. 233-244, 2013.
Philippe Balbiani, Szabolcs Mikulás
Decidability and complexity via mosaics of the temporal logic of the lexicographic products of unbounded dense linear orders (regular paper)
In : Frontiers of Combining Systems (FroCoS 2013), Nancy (France), 01/01/13-31/12/13, Springer, pp. 151-164, 2013.
Philippe Balbiani, Emiliano Lorini
Ockhamist Propositional Dynamic Logic: a natural link between PDL and CTL* (regular paper)
In : International Workshop on Logic, Language and Information (WOLLIC 2013), Darmstadt, 20/08/13-23/08/13, Vol. 8071, L. Libkin, U. Kohlenbach, R. de Queiroz (Eds.), Springer-Verlag, LNCS, pp. 251-265, 2013.
Philippe Balbiani, Andreas Herzig, Nicolas Troquard
Dynamic logic of propositional assignments: a well-behaved variant of PDL (regular paper)
In : Logic in Computer Science (LICS 2013), New Orleans, 25/06/13-28/06/13, Orna Kupferman (Eds.), IEEE : Institute of Electrical and Electronics Engineers, pp. 143-152, June 2013.
URL : http://ieeexplore.ieee.org/xpl/articleDetails.jsp?reload=true&arnumber=6571546 – https://oatao.univ-toulouse.fr/12432/
BibTeXPhilippe Balbiani, Stanislav Kikot
Sahlqvist Theorems for Precontact Logics (regular paper)
In : Advances in Modal Logic (AiML 2012), Copenhague (Danemark), 01/01/12-31/12/12, College Publications, pp. 55-70, 2012.
Philippe Balbiani, Levan Uridia
Completeness and definability of a modal logic interpreted over iterated strict partial orders (regular paper)
In : Advances in Modal Logic (AiML 0202), Copenhaghe (Danemark), 01/01/02-31/12/12, College Publications, pp. 71-88, 2012.
Philippe Balbiani, Antoun Yaacoub
Deciding the bisimilarity relation between Datalog goals (regular paper)
In : European Conference on Logics in Artificial Intelligence (JELIA 2012), Toulouse, 26/09/12-28/09/12, Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin (Eds.), Springer, pp. 67-79, September 2012.
Philippe Balbiani, Hans Van Ditmarsch, Andreas Herzig, Tiago de Lima
Some truths are best left unsaid (regular paper)
In : Advances in Modal Logic (AiML 2012), Copenhagen, 22/08/12-25/08/12, Vol. 9, Thomas Bolander, Torben Braüner, Silvio Ghilardi, Larry Moss (Eds.), College Publications, pp. 36-54, August 2012.
URL : http://www.irit.fr/~Andreas.Herzig/P/Aiml12.html
BibTeXAli Awada, Philippe Balbiani, Antoun Yaacoub
Information flow in logic programming
In : Journées dIntelligence Artificielle Fondamentale, Lyon, 08/06/11-10/06/11.
Abstract URL : http://gdri3iaf.info.univ-angers.fr/IMG/pdf/awada-balbiani-yaacoub.pdf
BibTeXAnas Abou El Kalam, Philippe Balbiani
A policy language for modelling recommendations (regular paper)
In : International Information Security Conference (IFIP SEC 2011), Pafos (Chypre), 18/05/11-20/05/11, D. Gritzalis, J. Lopez (Eds.), Springer, pp. 176-189, 2011.
The word problem in semiconcept algebras (regular paper)
In : Topology, Algebra, and Categories in Logic (TACL 2011), Marseille (France), 26/07/11-30/07/11, L. Santocanale, N. Olivetti, Y. Lafont (Eds.), Université de Marseille, pp. 77-80, 2011.
The word problem in semiconcept algebras (regular paper)
In : Concept Lattices and their Applications (CLA 2011), Nancy (France), 17/10/11-20/10/11, A. Napoli, V. Vychodil (Eds.), INRIA Nancy – Grand Est, pp. 279-294, 2011.
The word problem in semiconcept algebras (regular paper)
In : Computability in Europe, Sofia (Bulgarie), 27/06/11-02/07/11, H. Ganchev, B. Löwe, D. Normann, I. Soskov, M. Soskova (Eds.), St. Kliment Ohridski University Press, pp. 50-59, 2011.
Philippe Balbiani, Nadine Guiraud, Andreas Herzig, Emiliano Lorini
Agents that speak: modelling communicative plans and information sources in a logic of announcements (short paper)
In : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, 02/05/11-06/05/11, ACM Press, pp. 1207-1208, 2011.
URL : http://www.ifaamas.org/Proceedings/aamas2011/papers/B33.pdf
BibTeXAxiomatizing the temporal logic defined over the class of all lexicographic products of dense linear orders without endpoints (regular paper)
In : International Symposium on Temporal Representation and Reasoning (TIME 2010), Paris (France), 06/09/10-08/09/10, N. Markey, J. Wijsen (Eds.), IEEE : Institute of Electrical and Electronics Engineers, pp. 19-26, 2010.
Test de cohérence sur des graphes de contraintes entre hyperintervalles (regular paper)
In : Congrès Francophone de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2010), Caen (France), 19/01/10-22/01/10, M.-O. Cordier, J.-M. Jolion (Eds.), AFRIF-AFIA, (electronic medium), 2010.
Coherence test on graphs constraints between hyperintervals (regular paper)
In : International Conference on Tools with Artificial Intelligence (ICTAI 2010), Arras (France), 27/10/10-29/10/10, IEEE : Institute of Electrical and Electronics Engineers, pp. 223-226, 2010.
Tools and techniques in qualitative reasoning about space (regular paper)
In : International Symposium on Foundations of Information and Knowledge Systems (FolKS 2010), Sofia (Bulgarie), 14/02/10-19/02/10, Sebastian Link, Henri Prade (Eds.), Springer, LNCS 5956, pp. 1-2, 2010.
Philippe Balbiani, Yannick Chevalier, Marwa El Houri
An intruder model for trust negotiation (regular paper)
In : International Conference on Risks and Security of Internet and Systems (CRiSIS 2010), Montréal, 10/10/10-13/10/10, Yannick Chevalier, Marwa El Houri (Eds.), IEEE : Institute of Electrical and Electronics Engineers, pp. 1-8, 2010.
Philippe Balbiani, Olivier Gasquet, François Schwarzentruber
Knowledge reasoning in Lineland
In : Advances in Modal Logic, Moscow, 24/08/10-27/08/10.
Philippe Balbiani, Rachid Echahed, Andreas Herzig
A Dynamic Logic for Termgraph Rewriting (regular paper)
In : International Conference on Graph Transformation (ICGT 2010), Twente, 27/09/10-02/10/10, Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürf (Eds.), Springer-Verlag, LNCS 6372, pp. 59-74, September 2010.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Entcs09.html
BibTeXPhilippe Balbiani, Olivier Gasquet, François Schwarzentruber
Représentation des connaissances dans flatland
In : RTE (Représentation du Temps et de l’Espace) dans RFIA 2010 (Représentation des Formes et Intelligence Artificielle), Caen, 19/01/10-22/01/10.
Philippe Balbiani, Fahima Cheikh Alili, Guillaume Feuillade
Controller/orchestrator synthesis via filtration (regular paper)
In : Methods for Modalities (MAM 2009), Copenhague, Danemark, 12/11/09-14/11/09, Vol. 262, Electronic Notes in Theoretical Computer Science, pp. 33-48, 2010.
Philippe Balbiani, Fahima Cheikh Alili, Pierre-Cyrille Héam, Olga Kouchnarenko
Composition of Services with Constraints (regular paper)
In : Formal Aspects of Component Software (FACS 2009), Eindhoven, Pays-Bas, 02/11/09-03/11/09, Vol. 263, Electronic Notes in Theoretical Computer Science, pp. 31-46, 2010.
Axiomatization and completeness of lexicographic products of modal logics (regular paper)
In : Frontiers of Combining Systems (FroCoS 2009), Trento (Italie), 16/09/09-18/09/09, S. Ghilardi, R. Sebastiani (Eds.), Springer-Verlag, LNAI 5749, pp. 165-180, 2009.
Philippe Balbiani, Yannick Chevalier, Marwa El Houri
A Logical Framework for Reasoning about Policies with Trust Negotiations and Workflows in a Distributed Environment (regular paper)
In : International Conference on Risks and Security of Internet and Systems (CRiSIS 2009), Toulouse – France, 19/10/09-22/10/09, Anas Abou El Kalam, Yves Deswarte, Mahmoud Mostafa (Eds.), IEEE : Institute of Electrical and Electronics Engineers, pp. 3-11, December 2009.
Philippe Balbiani, Hans Van Ditmarsch, Pablo Seban
Reasonning about permitted announcements
In : Logical Method for Social Concepts (LMSC’09), Bordeaux, 20/07/09-25/07/09, Andreas Herzig, Emiliano Lorini (Eds.).
Philippe Balbiani, Hans Van Ditmarsch, Pablo Seban
Raisonnements sur la permission de dire
In : Modèles Formels de l’Interaction, MFI’09, Lannion, 03/06/09-05/06/09, Nicolas Maudet, Pierre-Yves Schobbens, Marc Guyomard (Eds.).
Abstract URL : http://www.info.fundp.ac.be/mfi09/wp-content/uploads/2009/04/BalbianiVanditmarschSeban.pdf
BibTeXPhilippe Balbiani, Tinko Tinchev
Complete axiomatizations of modal logics for region-based theories of space (regular paper)
In : Logic Colloquium (LC 2009), Sofia (Bulgarie), 01/01/09-31/12/09 (invited speaker), 2009.
Lexicographic products of modal logics with linear frames (regular paper)
In : Logic Colloquium (LC 2009), Sofia (Bulgarie), 01/01/09-31/12/09, Association for Symbolic Logic (ASL), (electronic medium), 2009.
Philippe Balbiani, Yannick Chevalier, Marwa El Houri
Approche logique pour les contraintes de contrôle daccès dans les services Web
In : Atelier sur les droits daccès à des Services et des Données définis dans un Environnement Collaboratif (SDEC09), Toulouse, 26/05/09.
Philippe Balbiani, Fahima Cheikh Alili, Guillaume Feuillade
Résultats de complexité pour le problème de la composition d’agents (regular paper)
In : Journées Francophones MODÈLES FORMELS de l’INTERACTION (MFI 2009), Lannion, France, 03/06/09-05/06/09, Nicolas Maudet , Pierre-Yves Schobben , Marc Guyomaud (Eds.), Université de Rennes 1, pp. 25-34, 2009.
Philippe Balbiani, Fahima Cheikh Alili, Guillaume Feuillade
Automata synthesis by asynchronous orchestration with applications to web services composition (regular paper)
In : Interaction and Concurrency Experience (ICE 2008), Reykjavik – Iselande, 06/07/08-06/07/08, Vol. 229, Elsevier Science, pp. 3-18, 2009.
Anas Abou El Kalam, Philippe Balbiani
A Policy Language for Modelling Recommendations
In : IFIP TC-11 International Information Security Confernce (IFIP SEC 2009), Cyprus, 18/05/09-20/05/09, Springer, pp. 176-189, May 2009.
Philippe Balbiani, Pablo Seban
Logique de la mise à jour des croyances objectives
In : Journées d’intelligence artificielle fondamentale, Université Paris Dauphine, 21/10/08-23/10/08.
Abstract URL : http://www.cril.univ-artois.fr/~konieczny/IAF08/balbiani-seban.pdf
BibTeXPhilippe Balbiani, Yannick Chevalier, Marwa El Houri
A logical approach to dynamic role-based access control in a distributed environment
In : International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2008), Varna (Bulgarie), 01/01/08-31/12/08, Springer-Verlag, pp. 194-208, 2008.
Time representation and temporal reasoning from the perspective of non-standard analysis
In : International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), Sydney (Australie), 01/01/08-31/12/08, Jérôme Lang, Gerhard Brewka (Eds.), AAAI Press, pp. 695-704, 2008.
Philippe Balbiani, Tinko Tinchev
Boolean logics with relations
In : International Seminar on Relational Methods in Computer Science (RelMiCS 2008), Frauenwörth (Allemagne), 01/01/08-31/12/08, Springer-Verlag, pp. 4-21, 2008.
Philippe Balbiani, Fahima Cheikh Alili, Guillaume Feuillade
Composition of Interactive Web Services Based on Controller Synthesis.
In : International Workshop on Web Service Composition and Adaptation, Honolulu, USA, 08/07/08-11/07/08, IEEE : Institute of Electrical and Electronics Engineers, pp. 521-528, 2008.
Philippe Balbiani, Olivier Gasquet
Fondements logiques du droit de savoir
In : Reconnaissance des Formes et Intelligence Artificielle (RFIA 2008), Amiens (France), 22/01/08-25/01/08, I. Bloch, P. Marquis (Eds.), AFRIF-AFIA, (electronic medium), January 2008.
Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov
Modal logics for region-based theories of space
In : Algebraic and Topological Methods in Non-Classical Logics, Oxford, UK, 01/01/07-31/12/07, Guram Bezhanishvili (Eds.), Oxford University, Department of Mathematics, pp. 4-5, 2007.
Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig
Global and local graph modifiers
In : Methods for Modalities (MAM 2007), Cachan, France, 29/11/07-30/11/07, Elsevier, ENTCS , (on line), 2007.
Abstract URL : http://www.irit.fr/publis/LILAC/M4M.pdf
BibTeXPhilippe Balbiani, Alexandru Baltag, Hans Van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima
What can we achieve by arbitrary announcements? A dynamic take on Fitch’s knowability
In : Theoretical Aspects of Rationality and Knowledge (TARK 2007), Bruxelles, Belgique, 25/06/07-27/06/07, Dov Samet (Eds.), Presses universitaires de Louvain, pp. 42-51, June 2007.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Tark07ncl.html
BibTeXPhilippe Balbiani, Fahima Cheikh Alili, Guillaume Feuillade
Considérations relatives à la décidabilité et à la complexité du problème de la composition de services.
In : Journées Francophones MODÈLES FORMELS de l’INTERACTION (MFI 2007), Paris, 30/05/07-01/06/07, Annales du LAMSADE, pp. 261-268, 2007.
Vers un marquage spatio-temporel des documents électroniques
In : Symposium sur la sécurité des technologies de l’information et des communications, Rennes, 01/01/07-31/12/07, P. Biondi (Eds.), Ecole Supérieure et d’Application des Transmissions, pp. 3-12, 2007.
Philippe Balbiani, Andreas Herzig
Talkin’bout Kripke models
In : International Workshop on Hybrid Logic 2007 (HyLo 2007), Dublin, 06/08/07-10/08/07, Torben Braüner, Jørgen Villadsen (Eds.).
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/HyLo07.html
BibTeXPhilippe Balbiani, Hans Van Ditmarsch, Andreas Herzig, Tiago de Lima
A tableau method for public announcement logics
In : International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2007), Aix-en-Provence, 03/07/07-06/07/07, Vol. 4548, Nicola Olivetti (Eds.), Springer-Verlag, LNAI, pp. 43-59, 2007.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Tableaux07.html
BibTeXPhilippe Balbiani, Fahima Cheikh Alili
A propos du problème de la composition des services électroniques
In : Journées Formalisation des Activités Concurrentes FAC’06, IRIT-Toulouse, 23/03/06-24/03/06.
Logique déontique de l’action : validation des systèmes de protection
In : Congrès Francophone de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2006), Tours (France), 01/01/06-31/01/06, P. Bouthemy, Y. Demazeau (Eds.), AFRIF-AFIA, (electronic medium), 2006.
Philippe Balbiani, Ilya Shapirovsky, Valentin Shehtman
Every world can see a Sahlqvist world
In : Advances in Modal Logic (AiML 2006), Noosavile (Australia), 01/09/06-30/09/06, G. Governatori, I. Hodkinson, Y. Venema (Eds.), College Publications, pp. 69-85, 2006.
An expressive two-sorted spatial logic for plane projective geometry
In : Advances in Modal Logic (AiML 2006), Noosaville (Australia), 01/09/06-30/09/06, G. Governatori, I. Hodkinson, Y. Venema (Eds.), College Publications, pp. 49-68, 2006.
Philippe Balbiani, Fahima Cheikh Alili
Security analysis in access control based on roles and views
In : Joint Conference on Security in Network Architectures and Security of Information Systems (SAR/SSI 2006), Seignosse (France), 01/06/06-30/06/06, D. Boulanger, F. Cuppens, H. Debar, A. Gabillon (Eds.), Ecole Supérieure et d’Applications des Transmissions – ESAT, pp. 51-65, 2006.
Philippe Balbiani, Ali Kaafarani, Fatme Harb
Access control with prohibitions and obligations
In : ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2006), Dubai (United Arab Emirates), 01/03/06-31/03/06, M. Langston (Eds.), IEEE : Institute of Electrical and Electronics Engineers, (electronic medium), 2006.
A formal examination of roles and permissions in access control
In : ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2005), Cairo (Egypt), 01/01/05-31/01/05, IEEE : Institute of Electrical and Electronics Engineers, (electronic medium), 2006.
Protocoles de communication inconditionnellement sûrs
In : Sécurité informatique : tendances et applications, Alger, 01/06/06-30/06/06 (invited speaker), Z. Zemirli (Eds.).
Philippe Balbiani, Fahima Cheikh Alili
Une approche uniforme de la modélisation des systèmes de protection temporisés
In : Journées Formalisation des Activités Concurrentes FAC’05, LAAS-Toulouse, 09/03/05-10/03/05.
Constitution et développement d’une logique des modalités aléthiques, déontiques, dynamiques, et temporelles en vue de la formalisation du raisonnement sur les actions et sur les normes
In : Modèles formels de l’interaction, Caen (France), 01/05/05-31/05/05, A. Herzig, Y. Lespérance, A.-I. Mouaddib (Eds.), Cépaduès Editions, pp. 23-33, 2005.
Philippe Balbiani, Fahima Cheikh Alili
Safety problems in access control with temporal constraints
In : Computer Network Security, St. Petersburg (Russia), 01/09/05-30/09/05, V. Gorodetsky, I. Kotenko, V. Skormin (Eds.), Springer-Verlag, Lecture Notes in Computer Science 3685, pp. 165-178, 2005.
Access control with uncertain surveillance
In : Web Intelligence, Compiègne (France), 01/09/05-30/09/05, IEEE : Institute of Electrical and Electronics Engineers, pp. 778-781, 2005.
Philippe Balbiani, Tinko Tinchev
Euclidean geometry with lines alone
In : Logic Colloquium 2005, Athens (Greece), 01/07/05-31/08/05, S. Wainer (Eds.), University of Athens, pp. 47-47, 2005.
Philippe Balbiani, Tinko Tinchev
Decidability and complexity of definability within the class of all partitions
In : Proceedings of the 5th Panhellenic Logic Symposium, Athens (Greece), 01/07/05-31/08/05, C. Dimitracopoulos (Eds.), University of Athens, pp. 26-33, 2005.
A uniform approach to modelling timed protection
In : Artificial Intelligence and Applications, Innsbruck (Austria), 01/02/05-28/02/05, IASTED, pp. 219-224, 2005.
Raisonner à propos des droites et des cercles : réseaux de contraintes et systèmes déductifs
In : 14e congrès reconnaissance des formes et intelligence artificielle (RFIA 2004), Toulouse, 01/01/04-31/12/04, J. Charlet, M. Dhome (Eds.), Afrif-Afia, January 2004.
Philippe Balbiani, Tinko Tinchev
Line-based affine reasoning in Euclidean plane
In : Logics in Artificial Intelligence (Jelia 2004), Portugal, 01/09/04-30/09/04, J. Alfares, J. Leite (Eds.), Springer-Verlag, pp. 474-486, September 2004.
Philippe Balbiani, Khalil Challita
Constraint networks of lines in the Euclidean plane and space
In : Artificial Intelligence: Methodology, Systems, and Applications (AIMSA 2004), Bulgarie, 01/09/04-30/09/04, C. Bussler, D. Fensel (Eds.), Springer-Verlag, pp. 148-157, September 2004.
Philippe Balbiani, Dimiter Vakarelov
Preference structures: first-order characterization and modal logic
In : IPMU 2004, Tenth International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2004), Italie, 01/07/04-31/07/04, B. Bouchon-Meunier, G. Coletti, R. Yager (Eds.), Universdita degli studi di Perugia, pp. 943-950, July 2004.
Variants of PDL with intersection of programs
In : AiML-2004: Advances in Modal Logic, Manchester, 01/09/04-30/09/04, Ian Pratt-Hartmann, Mark Reynolds, Renate Schmidt, Heinrich Wansing (Eds.), The University of Manchester, pp. 2-4, September 2004.
Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat
Le problème de la cohérence des réseaux de contraintes du formalisme INDU
In : Neuvièmes journées nationales sur la résolution pratique de problèmes NP-complets (JNPC 2003), France, 01/01/03-31/12/03, T. Schiex (Eds.), Université de Picardie Jules Verne – Laboratoire de recherche en informatique d’Amiens, pp. 23-37, January 2003.
Laszlo Aszalos, Philippe Balbiani
Parallel dynamic logic with communication
In : MFI’03, Modèles formels de l’interaction, France, 01/01/03-31/12/03, A. Herzig, B. Chaib-draa (Eds.), Cépaduès, pp. 11-18, January 2003.
Anas Abou El Kalam, Philippe Balbiani, Salem Benferhat, Frédéric Cuppens, Al. Et
Modèles et politiques de sécurité des systèmes d’information et de communication en santé et en social
In : Giseh 2003, xxx, 01/01/03-31/12/03, xxx, January 2003.
Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat
Reasoning about cyclic space: axiomatic and computational aspects
In : Spatial Cognition III (SC 2002), Allemagne, 01/01/03-31/12/03, C. Freksa, W. Brauer, C. Habel (Eds.), Springer-Verlag, pp. 348-371, January 2003.
Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat
On the consistency problem for the INDU calculus
In : 10th International Symposium on Temporal Representation and Reasoning – 4th International Conference on Temporal Logic (TIME 2003 – ICTL 2003), Australie, 01/07/03-31/07/03, M. Reynolds, A. Sattar (Eds.), Institute of Electrical and Electronics Engineers, pp. 203-211, July 2003.
Laszlo Aszalos, Philippe Balbiani
Logical aspects of user authentication protocols
In : 7th Seminar Relmics – 2nd Workshop Kleene Algebra, Malente, 01/05/03-31/05/03, R. Berghammer, B. Möller (Eds.), Christian-Albrechts-Universität zu Kiel, pp. 277-287, May 2003.
Philippe Balbiani, Khalil Challita, Jean-Francois Condotta
Spatial regions changing over time
In : 7th Seminar RelMiCS – 2nd Workshop Kleene Algebra (RelMiCS 2003 – Kleene 2003), Malente, 01/05/03-31/05/03, R. Berghammer, B. Möller (Eds.), Christian-Albrechts-Universität zu Kiel, pp. 74-81, May 2003.
Reasoning about vague concepts in the theory of property systems
In : 7th Seminar RelMiCS – 2nd Workshop Kleene Algebra (RelMiCS 2003 – Kleene 2003), Malente, 01/05/03-31/05/03, R. Berghammer, B. Möller (Eds.), Christian-Albrechts-Universität zu Kiel, pp. 56-68, May 2003.
Anas Abou El Kalam, Rania El Baida, Philippe Balbiani, Salem Benferhat, Al. Et
Organization based access control
In : Policies for Distributed Systems and Networks (POLICY 2003), Como, 01/01/03-31/12/03, H. Lutfiyya, J. Moffett, F. Garcia (Eds.), Institute of Electrical and Electronics Engineers, pp. 120-131, January 2003.
Inclusion relations and orthogonality relations over property systems: first-order characterization and modal analysis
In : IPMU 2002, Ninth International Conference on Information Processing and Management of Uncertainty (IPMU 2002), Annecy, 01/01/02-31/12/02, B. Bouchon-Meunier, L. Foulloy, R. Yager (Eds.), Esia – Université de Savoie, pp. 177-184, January 2002.
Philippe Balbiani, Jean-Francois Condotta
Computational complexity of a propositional linear temporallogic based on qualitative spatial or temporal reasoning
In : 4th International Workshop on Frontiers of Combining Systems, Italie, 01/01/02-31/12/02, Springer-Verlag, pp. 1-999, January 2002.
Emptiness relations in property systems
In : Theory and Applications of Relational Systems as Knowledge Instruments (TARSKI 2001), Pays-Bas, 01/01/01-31/12/01, H. de Swart (Eds.), Springer, LNCS 2561, pp. 15-34, January 2002.
Philippe Balbiani, Jean-Francois Condotta
Une logique temporelle pour décrire l’évolution des positions relatives des agents dans l’espace
In : 1ères journées francophones des modèles formels de l’interaction (MFI 2001), Toulouse, 01/01/01-31/12/01, B. Chaib-draa, P. Enjalbert (Eds.), Université des sciences sociales – Toulouse 1, pp. 181-192, January 2001.
Philippe Balbiani, Jean-Francois Condotta
Une logique pour le raisonnement spatio-temporel basée sur PLTL et l’algèbre des rectangles
In : Journées nationales sur les modèles de raisonnement (JNMR 2001), France, 01/01/01-31/12/01, A. Herzig (Eds.), PRC-GDR I3, pp. 9-21, January 2001.
Philippe Balbiani, Dimiter Vakarelov
First-order characterization and modal analysis ofindiscernibility and complementarity in informationsystems
In : Symbolic and Quantitative Approaches to Reasoning withUncertainty, France, 01/01/01-31/12/01, Springer-Verlag, pp. 772-781, January 2001.
Philippe Balbiani, Aomar Osmani
Raisonnement qualitatif à propos des arcs de cercles
In : 12e congrès reconnaissance des formes et intelligence artificielle (RFIA 2000), France, 01/01/00-31/12/00, R. Deriche, M.-C. Rousset (Eds.), Afrif-Afia, pp. 69-78, January 2000.
Philippe Balbiani, Philippe Muller
Le raisonnement spatial
In : Le temps, l’espace et l’évolutif en sciences du traitement de l’information, Marseille, 01/09/00-30/09/00, Henri Prade, Robert Jeansoulin, Catherine Garbay (Eds.), CEPAD, pp. 33-53, September 2000.
Représentation logique et traitement algorithmique du temps et de l’espace
In : Sixièmes journées nationales sur la résolution pratique de problèmes NP-complets (JNPC 2000), Marseille, 01/06/00-30/06/00, Christian Bessière (Eds.), Laboratoire d’informatique de Marseille, pp. 9-28, June 2000.
Philippe Balbiani, Aomar Osmani
A model for reasoning about topological relations betweencyclic intervals
In : Seventh International Conference on Principles of KnowledgeRepresentation and Reasoning, Etats-Unis, 01/01/00-31/12/00, Morgan Kaufmann, pp. 378-385, January 2000.
Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat
Reasoning about generalized intervals: Horn representabilityand tractability
In : Seventh International Workshop on Temporal Representationand Reasoning, Canada, 01/01/00-31/12/00, Institute of Electrical and Electronics Engineers, pp. 23-39, January 2000.
Philippe Balbiani, Aomar Osmani
Représentation et raisonnement sur les intervalles cycliques
In : Journées nationales sur les modèles de raisonnement (JNMR 1999), France, 01/01/99-31/12/99, M.-C. Rousset (Eds.), XXX, January 1999.
Philippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro
Raisonement qualitatif a propos des points de l’espace
In : Cinquiemes journees nationales sur la resolution pratique deproblemes NP-complets, Lyon, 01/01/99-31/12/99, Insa de Lyon, pp. 139-149, January 1999.
Philippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro
A tractable subclass of the block algebra: constraint propagation and preconvex relations
In : Proceedings of the Ninth Portuguese Conference on Artificial Intelligence (EPIA’99), Evora, ., January 1999.
Philippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro
A new tractable subclass of the rectangle algebra
In : Sixteenth International Joint Conference on ArtificialIntelligence, Suede, 01/01/99-31/12/99, International Joint Conferences on Artificial Intelligence, pp. 442-447, January 1999.
Philippe Balbiani, Dimiter Vakarelov
Extending arrow logic
In : International Seminar on Relational Methods in Computer Science (RelMiCS 1998), Pologne, 01/01/98-31/12/98, Stefan Banach International Center, pp. 13-17, 1998.
Philippe Balbiani, Amal Elfallah-Seghrouchni
A modal logic for reasoning about beliefs, desires and intentions of complex agents in a distributed environment
In : Third International Conference on Multi Agent Systems (ICMAS 1998), Paris, 01/01/98-31/12/98, Yves Demazeau (Eds.), Institute of Electrical and Electronics Engineers, pp. 387-388, January 1998.
Terminological modal logic
In : Advances in Modal Logic, volume 1 (AiML 1996), Berlin, 01/01/98-31/12/98, Marcus Kracht, Maarten de Rijke, Heinrich Wansing, Michael Zakharyaschev (Eds.), CSLI Publications, pp. 23-39, January 1998.
Philippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro, Aomar Osmani
Reasoning about generalized intervals
In : Artificial Intelligence: Methodology, Systems andApplications, Bulgarie, 01/01/98-31/12/98, Springer-Verlag, pp. 50-61, January 1998.
Philippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro
A model for reasoning about bidimensional temporal relations
In : Sixth International Conference on Principles of KnowledgeRepresentation and Reasoning, Italie, Morgan Kaufmann, pp. 124-130, January 1998.
Philippe Balbiani, Stéphane Demri
Prefixed tableau systems for modal logics with enriched languages
In : Fifteenth International Joint Conference on Artificial Intelligence (IJCAI 1997), Japon, 01/01/97-31/12/97, M. Pollack (Eds.), International Joint Conferences on Artificial Intelligence, pp. 190-195, January 1997.
La logique déontique du temps abstrait
In : 10e congrès reconnaissance des formes et intelligence artificielle (RFIA 1996), France, 01/01/96-31/12/96, M. Ghallab (Eds.), Afcet-Afia, pp. 1013-1021, January 1996.
A modal logic for data analysis
In : Mathematical Foundations of Computer Science 1996 (MFCS 1996), Cracovie, 01/09/96-30/09/96, W. Penczek, A. Szalas (Eds.), Springer-Verlag, pp. 167-179, September 1996.
Modal logics with relative accessibility relations
In : Practical Reasoning (FAPR 1996), Bonn, 01/01/96-31/12/96, Dov Gabbay, Hans Ohlbach (Eds.), Springer-Verlag, pp. 29-42, January 1996.
Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov
Geometrical structures and modal logic (regular paper)
In : Int. Conf. on Formal and Applied Practical Reasoning (FAPR 1996), Bonn, 03/06/96-07/06/96, Springer-Verlag, pp. 43-57, June 1996.
Abstract URL : https://link.springer.com/chapter/10.1007/3-540-61313-7_62
BibTeXEquational solving in geometrical theories
In : Conditional and Typed Rewriting Systems (CTRS 1994), Jérusalem, 01/07/95-31/07/95, Nachum Dershowitz, Naomi Lindenstrauss (Eds.), Springer-Verlag, pp. 31-50, July 1995.
Philippe Balbiani, Luis Fariñas del Cerro
Affine geometry of collinearity and conditional term rewriting
In : Term Rewriting, Font Romeux, 01/05/95-31/05/95, Hubert Comon, Jean-Pierre Jouannaud (Eds.), Springer-Verlag, pp. 196-213, May 1995.
Simplification des figures de la géométrie affine plane
In : 9e congrès reconnaissance des formes et intelligence artificielle (RFIA 1994), France, 01/01/94-31/12/94, A. Gagalowicz (Eds.), Afcet-Afia, pp. 1013-1021, January 1994.
Equation solving in projective planes and planar ternary rings
In : Algebraic and Logic Programming (ALP 1994), Madrid, 01/09/94-30/09/94, Giorgio Levi, Mario Rodriguez-Artalejo (Eds.), Springer-Verlag, pp. 95-113, September 1994.
Sur la finitude des dérivations de la programmation en logique
In : 1ères journées francophones sur la programmation en logique (JFPL 1992), France, 01/01/92-31/12/92, J.-P. Delahaye, P. Devienne, P. Mathieu, P. Yim (Eds.), Laboratoire d’informatique fondamentale de Lille, pp. 194-209, January 1992.
The finiteness of logic programming derivations
In : Algebraic and Logic Programming (ALP 1992), Volterra, 01/09/92-30/09/92, Hélène Kirchner, Giorgio Levi (Eds.), Springer-Verlag, pp. 403-419, September 1992.
Qu’est-ce que la démontrabilité dans un programme logique
In : 8e congrès reconnaissance des formes et intelligence artificielle (RFIA 1991), France, 01/01/91-31/12/91, J.-P. Laurent (Eds.), Afcet, pp. 731-739, January 1991.
Philippe Balbiani, Andreas Herzig, Mamede Lima Marques
TIM: the Toulouse inference machine for non-classical logic programming
In : Processing Declarative Knowledge (PDK 1991), Kaiserslautern, H. Boley, M. Richter (Eds.), Springer-Verlag, pp. 366-382, January 1991.
Nonmonotonic reasoning and modal logic, from negation as failure to default logic
In : Uncertainty in Knowledge Bases (IPMU 1990), Paris, 01/01/91-31/12/91, Bernadette Bouchon-Meunier, Ronald Yager, Lofti Zadeh (Eds.), Springer-Verlag, pp. 223-231, January 1991.
A modal semantics for the negation as failure and the closed world assumption rules
In : STACS 91 (STACS 1991), Hambourg, 01/02/91-28/02/91, C. Choffrut, M. Jantzen (Eds.), Springer-Verlag, pp. 523-534, February 1991.
Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig
Declarative semantics for modal logic programs
In : Proceedings of the International Conference on Fifth Generation Computer Systems 1988 (FGCS 1988), Japon, 01/01/88-31/12/88, Institute for New Generation Computer Technology, pp. 507-514, January 1988.
About the complete axiomatization of dynamic extensions of arrow logic
Golinska-Pilarek, Joanna; Zawidzki, Michal. Ewa Orlowska: on Relational Methods in Logic and Computer Science, 17, Springer, pp.315–330, 2018, Outstanding Contributions to Logic book series, 978-3319978789. ⟨10.1007/978-3-319-97879-6_12⟩
Philippe Balbiani, Olivier Gasquet, Andreas Herzig, François Schwarzentruber, Nicolas Troquard
Coalition games over Kripke semantics
In : Dialogues, Logics and Other Strange Things — Essays in Honour of Shahid Rahman. Cédric Dégremont, Laurent Keiff, Helge Rückert (Eds.) , College Publications, pp. 11-32, October 2008.
Philippe Balbiani, Valentin Goranko, Ruuan Kellerman, Dimiter Vakarelov
Logical theories for fragments of elementary geometry
In : Handbook of Spatial Logics. M. Aiello, I. Pratt-Hartmann, J. van Benthem (Eds.) , Springer, pp. 343-428, 2007.
Propositional dynamic logic
In : Stanford Encyclopedia of Philosophy. E. Zalta (Eds.) , Center for the Study of Language and Information, (on line), 2007.
URL : http://www.science.uva.nl/~seop/entries/logic-dynamic/
BibTeXPhilippe Balbiani, Luis Fariñas del Cerro
Diagrammatic reasoning in projective geometry
In : Logic, Language and Reasoning: Essays in Honour of Dov Gabbay. Hans Ohlbach, Uwe Reyle (Eds.) , Kluwer, pp. 99-114, 1999.
Axiomatization of logics based on Kripke models with relative accessibility relations
In : Incomplete Information: Rough Set Analysis. Ewa Orlowska (Eds.) , Physica-Verlag, pp. 553-578, 1998.
A promenade from provability to consistency
In : Intensional Logics for Programming. Luis Fariñas del Cerro, Martti Penttonen (Eds.) , Oxford University Press, pp. 195-219, 1992.
Considérations modales sur la négation par échec
In : PRC-GDR Intelligence artificielle. Bernadette Bouchon-Meunier (Eds.) , Hermès, pp. 223-230, 1990.
Représentation logique et traitement algorithmique de l’espace
HDR, Université Paris-Nord, Villetaneuse, 1999.
Une caractérisation modale de la sémantique des programmes logiques avec négation
Master’s Thesis, Université Paul Sabatier, 1991.
Philippe Balbiani, Vincent Dugat, Luis Fariñas del Cerro, Anne Lopez
Eléments de géométrie mécanique, Hermès, 1994.
Philippe Balbiani, Quentin Gougeon, Tinko Tinchev
Logics for Contact and Measure
2024
Admissibility in Alt × Alt is undecidable
2022
Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani, Mojtaba Mojtahedi
About the unification type of modal logic K5 and its extensions
2021